Mean Field for Performance Models with Generally-Distributed Timed Transitions
نویسندگان
چکیده
In this paper we extend the mean-field limit of a class of stochastic models with exponential and deterministic delays to include exponential and generally-distributed delays. Our main focus is the rigorous proof of the mean-field limit.
منابع مشابه
TiPeNeSS: a timed petri net simulator software with generally distributed firing delays
Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g. stochastic Petri nets (SPNs) [17, 19]) can be handled analytically, a general timed Petri net is hard to evaluate via numerical analysis. However, the sim...
متن کاملM–timed Petri Nets, Priorities, Preemptions, and Performance Evaluation of Systems
In M–timed Petri nets, firing times are exponentially distributed random variables associated with transitions of a net. Several classes of M–timed Petri nets are discussed in this paper to show increasing “modelling power” of different nets. Conflict–free nets can model M and Ek–type queueing systems. Free—choice nets can also represent Hk–type systems. Systems with several classes of users an...
متن کاملMarkov Regenerative Stochastic Petri Nets
Stochastic Petri nets of various types (SPN, GSPN, ESPN, DSPN etc.) are recognized as useful modeling tools for analyzing the performance and reliability of systems. The analysis of such Petri nets proceeds by utilizing the underlying continuous-time stochastic processes continuous-time Markov chains for SPN and GSPN, semi-Markov processes for a subset of ESPNs and Markov regenerative processes...
متن کاملPetri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions
Stochastic Petri nets have been used to analyze the performance and reliability of complex systems comprising concurrency and synchronization. Various extensions have been proposed in literature in order to broaden their eld of application to an increasingly larger range of real situations. In this paper we extend the class of Markov Regenerative Stochastic Petri Nets* (MRSPN*s), removing the r...
متن کاملStochastic Transition Systems
Traditional methods for the analysis of system performance and reliability generally assume a precise knowledge of the system and its workload. Here, we present methods that are suited for the analysis of systems that contain partly unknown or unspeciied components, such as systems in their early design stages. We introduce stochastic transition systems, a high-level formalism for the modeling ...
متن کامل